Routley Star in Information-Based Semantics

It is common in various non-classical logics, especially relevant to characterize negation semantically via the operation known as Routley star. This works well within relational semantic frameworks based on prime theories. We study this context of "information-based" semantics for which it characteristic that sets formulas supported by individual information states are theories do not have be prime. will show that, somewhat surprisingly, incorporation star into information-based does lead a collapse or trivialization whole system. On contrary, leads technically elegant though quite restricted framework determines particular logic. some basic properties semantics. For example, we double law valid only involutive linear frames. axiomatically logic all frames and coincides with system Mike Dunn coined Kalman fragment (for language conjunction, disjunction negation) "semi-relevant" R-mingle. Finally, deductive equipped